Architecture-based Evolution of Dependable Software-intensive Systems

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase

Real-time three-dimensional ultrasound : a valuable new tool in preoperative assessment of complex congenital cardiac disease

Evaluating complex cardiac defects in small children preoperatively requires multiple diagnostic procedures including echocardiography, and also invasive methods such as cardiac catheterisation, computer-tomography and magnetic resonance imaging. This article assesses the complex anatomy of the atrioventricular valves in atrioventricular septal defect using bedside real-time three-dimensional echocardiography and comparing these results to the anatomic findings at the time of operative intervention.peer-reviewe

Channel Estimation for Diffusive Molecular Communications

In molecular communication (MC) systems, the \textit{expected} number of molecules observed at the receiver over time after the instantaneous release of molecules by the transmitter is referred to as the channel impulse response (CIR). Knowledge of the CIR is needed for the design of detection and equalization schemes. In this paper, we present a training-based CIR estimation framework for MC systems which aims at estimating the CIR based on the \textit{observed} number of molecules at the receiver due to emission of a \textit{sequence} of known numbers of molecules by the transmitter. Thereby, we distinguish two scenarios depending on whether or not statistical channel knowledge is available. In particular, we derive maximum likelihood (ML) and least sum of square errors (LSSE) estimators which do not require any knowledge of the channel statistics. For the case, when statistical channel knowledge is available, the corresponding maximum a posteriori (MAP) and linear minimum mean square error (LMMSE) estimators are provided. As performance bound, we derive the classical Cramer Rao (CR) lower bound, valid for any unbiased estimator, which does not exploit statistical channel knowledge, and the Bayesian CR lower bound, valid for any unbiased estimator, which exploits statistical channel knowledge. Finally, we propose optimal and suboptimal training sequence designs for the considered MC system. Simulation results confirm the analysis and compare the performance of the proposed estimation techniques with the respective CR lower bounds.Comment: to be appeared in IEEE Transactions on Communications. arXiv admin note: text overlap with arXiv:1510.0861

Measuring the effect of airway pressure on pulmonary arterial diameter in the intact rat lung

To study the relationship between transpulomnary pressure (Ptp), intravascular pressure (Pv), and the pulmonary arterial tree structure, morphometric measurements of pulmonary arterial trees were made in intact lungs from Sprague-Dawley rats. Using cone beam micro-CT and techniques we developed for imaging small animal lungs, volumetric CT data were acquired for Ptp from 0 - 12 mmHg and Pv from 5 - 30 mmHg. The diameter, D (measured range approximately 0.08-2.0 mm), vs. pressure, P, relation can be described by D(P) = D(0)(1+ α P), where α is a distensibility coefficient. Unlike studies performed in larger animals, where changes in either Ptp or Pv had nearly identical effect on vessel distensibility, we found that there is only a small dependence of arterial diameter on Ptp in the rat. For example, using the above relation where P=Ptp and Pv is held constant at 12mmHg, alpha = 0.55±0.42(SE) %/mmHg, compared with when P=Pv and Ptp is held at 12mmHg, alpha = 2.59±0.17(SE) %/mmHg

Changes in Pulmonary Arterial Wall Mechanical Properties and Lumenal Architecture with Induced Vascular Remodeling

To explore and quantify pulmonary arterial remodeling we used various methods including micro-CT, high-resolution 3-dimensional x-ray imaging, to examine the structure and function of intact pulmonary vessels in isolated rat lungs. The rat is commonly used as an animal model for studies of pulmonary hypertension (PH) and the accompanying vascular remodeling, where vascular remodeling has been defined primarily by changes in the vessel wall composition in response to hypertension inducing stimuli such as chronic hypoxic exposure (CHE) or monocrotaline (MCT) injection. Little information has been provided as to how such changes affect the vessel wall mechanical properties or the lumenal architecture of the pulmonary arterial system that actually account for the hemodynamic consequences of the remodeling. In addition, although the link between primary forms of pulmonary hypertension and inherited genetics is well established, the role that genetic coding plays in hemodynamics and vascular remodeling is not. Therefore, we are utilizing Fawn-Hooded (FH), Sprague-Dawley (SD) and Brown Norway (BN)rat strains along with unique imaging methods to parameterize both vessel distensibility and lumenal morphometry using a principal pulmonary arterial pathway analysis based on self-consistency. We have found for the hypoxia model, in addition to decreased body weight, increased hematocrit, increased right ventricular hypertrophy, the distensibility of the pulmonary arteries is shown to decrease significantly in the presence of remodeling

Access to Effective Teaching for Disadvantaged Students

Recent federal initiatives in education, such as Race to the Top, the Teacher Incentive Fund, and the flexibility policy for the Elementary and Secondary Education Act are designed in part to ensure that disadvantaged students have equal access to effective teaching. The initiatives respond to the concern that disadvantaged students may be taught by less effective teachers and that this could contribute to the achievement gap between disadvantaged students and other students. To address the need for evidence on this issue, the Institute of Education Sciences at the U.S. Department of Education initiated a study to examine access to effective teaching for disadvantaged students in 29 diverse school districts. Mathematica Policy Research and its partner, the American Institutes for Research, conducted the study, which focused on English/ language arts (ELA) and math teachers in grades 4 through 8 from the 2008 -- 2009 to the 2010 -- 2011 school year

How I Love A Pretty Face

https://digitalcommons.library.umaine.edu/mmb-vp/5627/thumbnail.jp